type X = {+m(): T}
